Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
291	Things Computer Science Tells Us About Philosophy Rudy Rucker Department of Computer Science San Jose State University, CA www.rudyrucker.com Add to Reading List Source URL: www.rudyrucker.com Language: English - Date: 2006-05-18 12:03:00 Rudy Rucker Artificial intelligence Computational neuroscience Computation A New Kind of Science Dialectic Strong AI Computer science Applied mathematics Science Computability theory Clarion Workshop
292	Asia Pacific Mathematics Newsletter 1 PushingBack Back the Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2012-02-16 01:26:08 Mathematics Computability theory Turing machine Alan Turing Halting problem Computable number Computability Turing test Interactive computation Theory of computation Theoretical computer science Computer science
293	Course Paper Implementation of a Turing simulator Jan Engelhardt March 17, 2005 Max-Plank-Gymnasium Göttingen Advances CS Add to Reading List Source URL: inai.de Language: English - Date: 2012-05-07 20:23:24 Theory of computation Computer science Alan Turing Models of computation Busy beaver Turing Universal Turing machine Turing completeness Turing machine Theoretical computer science Computability theory
294	Proceedings of CEIRE98, Special Issue of Requirements Engineering Volume 3 Number 2, pages 73-78, A Discipline of Description (Keynote Talk) M. A. Jackson Independent Consultant Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2001-04-09 07:21:02 Systems engineering Problem frames approach Computability theory Systems theory Applied mathematics Systems science Software requirements Models of computation Requirement
295	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:51 Computability theory Recursion Theoretical computer science Theory of computation Programming idioms Function Algorithm Scheme Tail call Software engineering Computer programming Mathematics
296	Universal Field Machine that Computes Beyond the Turing Limit ´ M. Fernandez ´ Julian Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 Computer science Halting problem Computability Universal Turing machine Turing machine Computable function Church–Turing thesis Algorithm Alan Turing Computability theory Theoretical computer science Theory of computation
297	Bidirectional Computation Bidirectional Computation is WANTED in SE BiX: A Bidirectional Tree Transformation Language Bidirectional Graph Computation: Bidirectionalizing ATL Conclusion Add to Reading List Source URL: www.biglab.org Language: English - Date: 2011-01-08 13:03:57 Computation Mathematics Applied mathematics Computing Bidirectional transformation Computability theory Bi-directional text
298	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-08-11 17:16:11 Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing
299	Structural Recursion over Contextual Objects (Extended Abstract) Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-20 17:12:51 Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function Substitution Μ operator Mathematics Mathematical logic Logic

UPDATE